Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 9.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 005595 | Harald Ganzinger [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] ; Uwe Waldmann [Allemagne] | Modular proof systems for partial functions with Evans equality |
| 006B66 | Harald Ganzinger [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] ; Uwe Waldmann [Allemagne] | Modular Proof Systems for Partial Functions with Weak Equality |
| 007984 | Harald Ganzinger [Allemagne] ; Jürgen Stuber [France] | Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation |
| 00AA17 | Veronique Cortier [France] ; Harald Ganzinger [Allemagne] ; Margus Veanes [Allemagne] ; Florent Jacquemard [France] | Decidable Fragments of Simultaneous Rigid Reachability |
| 00E046 | Harald Ganzinger [Allemagne] | Order-sorted completion: The many-sorted way |
| 00E366 | Harald Ganzinger [Allemagne] | Completion with history-dependent complexities for generated equations |
| 00E370 | Hubert Bertling [Allemagne] ; Harald Ganzinger [Allemagne] ; Renate Sch Fers [Allemagne] | CEC: A system for the completion of conditional equational specifications |
| 00E614 | Harald Ganzinger [Allemagne] | Ground term confluence in parametric conditional equational specifications |
| 00ED06 | Harald Ganzinger [Allemagne] | Modular compiler descriptions based on abstract semantic data types (Extended Abstract) |
| This area was generated with Dilib version V0.6.33. |  |